Foundation of a computable solid modelling

Foundation of a Computable Solid Modelling

Foundation of a Computable Solid

Correctness of algorithms in computational geometry are usually proved using the un-realistic Real RAM machine model of computation with the undesirable result that correct algorithms, when implemented, turn into unreliable programs. In this paper, we use a domain-theoretic approach to recursive analysis to develop the basis of an eeective and realistic framework for solid modeling. This framew...

Building from a Solid Foundation

W elcome to IT Professional’s eighth year. Let me begin by congratulating our outgoing editor in chief, Frank Ferrante, for his outstanding leadership during the past four years. During Frank’s tenure, IT Pro has become one of the IEEE Computer Society’s fastest growing and most widely read publications. Frank has agreed to join IT Pro’s Advisory Board, and will spearhead several important init...

A Review of Computable General Equilibrium Modelling for Transport Appraisal

The traditional cost-benefit analysis (CBA) for transport appraisal has two key weaknesses. Firstly, by assuming static prices in markets external to transport, externalities cannot be considered other than in an ad-hoc, case-by-case manner. This approach is only valid under restrictive assumptions regarding perfect competition and the reflection of marginal costs in prices, which may not be ap...

A foundation for multi-level modelling

Multi-level modelling allows types and instances to be mixed in the same model, however there are several proposals for how metamodels can support this. This paper proposes a meta-circular basis for meta-modelling and shows how it supports two leading approaches to multi-level modelling.